context(A) <caret>val x = 1